Euclid’s Elements as an Equational Theory Vaughan Pratt Stanford University 26 May, 2015

Source URL: boole.stanford.edu

• Algebra
• Mathematics
• Linear algebra
• Algebraic structures
• Abstract algebra
• Geometry
• Affine space
• Universal algebra
• Euclidean space
• Geometric algebra
• Space
• Foundations of geometry

Chu Spaces Vaughan Pratt Stanford University Notes for the School on Category Theory and Applications University of Coimbra

Source URL: chu.stanford.edu

• Algebraic structures
• Chu space
• Semilattice
• Boolean algebra
• Structure
• Homomorphism
• Partially ordered set
• Lattice
• Adjoint functors
• Binary relation
• Isomorphism
• Dual space

Algebraic structures in Axiom and Isabelle: attempt at a comparison Clemens Ballarin Institut f¨ur Informatik Universit¨at Innsbruck 6020 Innsbruck, Austria

Source URL: www21.in.tum.de

NUMERICAL SEMIGROUPS MINI-COURSE P. A. GARCÍA-SÁNCHEZ C ONTENTS Lecture 1. Three ways for representing a numerical semigroup. Generalities

Source URL: www.ugr.es

• Algebra
• Semigroup theory
• Mathematics
• Algebraic structures
• Numerical semigroup
• Semigroup
• Monoid
• Special classes of semigroups
• Semigroup with involution

ACTA ARITHMETICA LXXIIIReciprocity formulae for general Dedekind–Rademacher sums by

Source URL: people.mpim-bonn.mpg.de

• Mathematics
• Algebra
• Abstract algebra
• Number theory
• Modular forms
• Algebraic number theory
• Algebraic structures
• Dedekind sum
• Generating function
• Ring
• Taylor series
• Bernoulli number

Hyperbolic cone-manifold structures with prescribed holonomy I: punctured tori Daniel V. Mathews Abstract We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representation

Source URL: www.danielmathews.info

• Geometry
• Mathematics
• Space
• Hyperbolic geometry
• Linear algebra
• Differential geometry
• Differential geometry of surfaces
• Holonomy
• Coordinate system
• Convex cone
• Squeeze mapping
• Mbius transformation

Institut f¨ ur Mathematik Arbeitsgruppe Allgemeine Algebra und Diskrete Mathematik Arborescent Numbers: Higher Arithmetic Operations and Division Trees

Source URL: eretrandre.org

• Abstract algebra
• Functional analysis
• Algebraic structures
• Binary operations
• Exponentials
• Exponentiation
• F-algebra
• Algebra over a field
• Associative property
• Function
• Homomorphism
• Semigroup

Notes on Eliashberg’s 1989 paper, “Classification of overtwisted contact structures on 3-manifolds” Daniel Mathews March 6, 2007 Contents

Source URL: www.danielmathews.info

• Algebraic topology
• Topological spaces
• Homotopy theory
• Triangulation
• Topology
• Foliation
• Simplicial complex
• Contact geometry
• Simplex
• 3-manifold
• CW complex
• Out

Uniform Interpolation and Compact Congruences Samuel J. van Gool1 , George Metcalfe2 , and Constantine Tsinakis3 1 Department of Mathematics, University of Milan

Source URL: logica.dmi.unisa.it

• Algebra
• Mathematics
• Abstract algebra
• Algebraic logic
• Lattice theory
• Algebraic structures
• Fuzzy logic
• Adjoint functors
• Boolean algebra
• Heyting algebra
• Universal property
• MV-algebra

Hyperbolic cone-manifold structures with prescribed holonomy II: higher genus Daniel V. Mathews Abstract We consider the relationship between hyperbolic cone-manifold structures on surfaces, and algebraic representations

Source URL: www.danielmathews.info

• Geometry
• Mathematics
• Space
• Differential geometry
• Differential topology
• Group theory
• Lie groups
• Projective geometry
• Holonomy
• Representation theory
• Differential geometry of surfaces
• Manifold